Stefano Zacchiroli - PDFSEARCH.IO - Document Search Engine

Stefano Zacchiroli
Results: 220

#	Item
11	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
12	Package Upgrades in FOSS Distributions: Details and Challenges ∗ Roberto Di Cosmo Stefano Zacchiroli Universit´e Paris Diderot, PPS, UMR 7126, France Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software System software Computer architecture Dpkg Ubuntu Debian Archive formats Linux distributions Package manager NixOS RPM Package Manager Advanced Packaging Tool
13	Feature Diagrams as Package Dependencies? Roberto Di Cosmo and Stefano Zacchiroli Universit´e Paris Diderot, PPS, UMR 7126, Paris, France , Abstract. FOSS (Free and Open Source Sof Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Package manager Software distribution Debian Arch Linux RPM Package Manager Dependency grammar Software repository
14	Dissemination Activity Report Deliverable D6.3 Nature : Deliverable Due date : Delivery Date: Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 MANCOOSI Unix IRILL Stefano Zacchiroli Project management Pixart Deliverable Debian Ambient intelligence Movable Type
15	Towards Maintainer Script Modernization ∗ in FOSS Distributions Stefano Zacchiroli Davide Di Ruscio, Patrizio Pelliccione, Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Linux distributions Software distribution RPM Package Manager Red Hat Metamodeling Arch Linux Package manager PEAR Debian Ion
16	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
17	Debsources as a Platform All your Debian source are belong to us! Stefano Zacchiroli, Matthieu Caneill August 18, 2015 Add to Reading List Source URL: annex.debconf.org Language: English - Date: 2015-08-24 11:37:51
18	Common Upgradeability Description Format (CUDF) 2.0 Ralf Treinen Stefano Zacchiroli Technical Report 003 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41
19	PDF Document Add to Reading List Source URL: upsilon.cc Language: English - Date: 2012-03-11 15:15:23 Free software DebConf Stefano Zacchiroli Ñ Software Debian Linux